ar X iv : m at h / 05 09 03 2 v 3 [ m at h . G M ] 1 8 Fe b 20 06 AUTOMORPHIC EQUIVALENCE OF ONE - SORTED ALGEBRAS

نویسنده

  • A. Tsurkov
چکیده

One of the central questions of universal algebraic geometry is: when two algebras have the same algebraic geometry? There are various interpretations of the sentence " Two algebras have the same algebraic geometry ". One of these is automorphic equivalence of algebras, which is discussed in this paper, and the other interpretation is geometric equivalence of algebras. In this paper we consider very wide and natural class of algebras: one sorted algebras from IBN variety. The variety Θ is called an IBM variety if two free algebras W (X) , W (Y) ∈ Θ are isomorphic if and only if the powers of sets X and Y coincide. In the researching of the automorphic equivalence of algebras we must study the group of automor-phisms of the category Θ 0 of the all finitely generated free algebras of Θ and the group of its automorphisms AutΘ 0. An automorphism Υ of the category K is called inner if it is isomorphic to the identity automorphism or, in other words, if for every A ∈ ObK there exists s Υ A : A → Υ (A) iso-morphism of these objects of the category K and for every α ∈ Mor K (A, B) the diagram A − → s Υ A Υ (A) ↓ α Υ (α) ↓ B s Υ B − → Υ (B) is commutative. By [PZ, Theorem 2], if Θ is an IBN variety of one-sorted algebras, then every automorphism Ψ ∈ AutΘ 0 can be decomposed: Ψ = ΥΦ, where Υ, Φ ∈ AutΘ 0 , Υ is an inner automorphism of and Φ 1 is a strongly stable one (see Definition 3.1). In this situation every strongly stable automorphism defines the other algebraic structure on every algebra H ∈ Θ , such that the algebra H * with this structure also belongs to our variety Θ and (Theorem 4.1) even automorphically equivalent to the algebra H, i.e., has the same algebraic geometry. From this we conclude the necessary and sufficient conditions for two algebras to be automorphically equivalent. We formulate these conditions by using the notion of geometric equivalence of algebras. It means that we reduce automorphic equivalence of algebras to the simpler notion of geometric equivalence. This paper is a continuation of the research which was started in [PZ].

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : m at h / 05 10 24 8 v 2 [ m at h . O A ] 2 8 Fe b 20 06 THE CORONA FACTORIZATION PROPERTY

The corona factorization property is a property with connections to extension theory, K-theory and the structure of C *-algebras. This paper is a short survey of the subject, together with some new results and open questions.

متن کامل

ar X iv : h ep - p h / 06 03 00 1 v 1 2 8 Fe b 20 06 NuFact 05 Working Group 2 Summary : Experimental Results in Neutrino Scattering Physics

This paper summarizes the experimental results in neutrino scattering physics as presented in Working Group 2. A summary of the theoretical results is presented in [1].

متن کامل

ar X iv : m at h / 06 05 36 9 v 2 [ m at h . A G ] 1 1 Fe b 20 07 Vanishing Cycles and Thom ’ s a f Condition ∗

We give a complete description of the relationship between the vanishing cycles of a complex of sheaves along a function f and Thom’s af condition.

متن کامل

ar X iv : m at h / 03 02 15 0 v 1 [ m at h . SG ] 1 2 Fe b 20 03 MELROSE – UHLMANN PROJECTORS , THE METAPLECTIC REPRESENTATION AND SYMPLECTIC CUTS

By applying the symplectic cutting operation to cotangent bundles, one can construct a large number of interesting symplectic cones. In this paper we show how to attach algebras of pseudodifferential operators to such cones and describe the symbolic properties of the algebras.

متن کامل

ar X iv : m at h / 04 06 27 0 v 6 [ m at h . A T ] 1 9 Fe b 20 05 THE BIDERIVATIVE AND A ∞ - BIALGEBRAS

An A∞-bialgebra is a DGM H equipped with structurally compatible operations { ω : H → H } such that ( H, ω ) is an A∞-algebra and ( H, ω ) is an A∞-coalgebra. Structural compatibility is controlled by the biderivative operator Bd, defined in terms of two kinds of cup products on certain cochain algebras of pemutahedra over the universal PROP U = End (TH). To Jim Stasheff on the occasion of his ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008